Idris.Inliner
inlineDef
inlineTerm