delay parsing of vars annotations in base-env
Print more accurate reasons why a namespace isn't checked
Delay parsing of type aliases