CoreLint

lintCoreBindings

lintUnfolding

lintPassResult

lintInteractiveExpr

lintExpr

lintAnnots

Debug output

showPass

showPassIO

endPass

endPassIO

dumpPassResult

dumpIfSet