CoreLint
lintCoreBindings
lintUnfolding
lintPassResult
lintInteractiveExpr
lintExpr
lintAnnots
showPass
showPassIO
endPass
endPassIO
dumpPassResult
dumpIfSet