Removed scopes from TypeChecker