Better "not in scope" detection

This ignores the “type constructor or classtype constructor or class” stuff.