Comments in typechecker code.