Qualify all names appearing in types when adding names to the environment.