Agda.Compiler.Epic.NatDetection
getNatish
isNatish
nrRel
isRec
argIsDef