Added support to hide type checking information (useful when running tests)