Agda.Interaction.MakeCase
data CaseContext
findClause
makeCase
makeAbsurdClause
makeAbstractClause
deBruijnIndex