Agda.Compiler.Epic.NatDetection
getNatish
nrRel
isRec
argIsDef