muted messages from Control.g to allow focus on work on Typecheck.g