New inference: improved error message for unresolved type