CoreLint
lintCoreBindings
lintUnfolding
lintPassResult
lintInteractiveExpr
lintExpr
lintAnnots
endPass
endPassIO
dumpPassResult
dumpIfSet