connected typecheck to ErrorMaster