Avoid looking up types of globals in type checker.