typechecking for IMPORTS, global varibles