Type Checking despite name resolution errors