Fail more informatively when a global isn't in the type environment