Checking for globals before type checking