Judgmental equality at a fibered type is not fibered
Type errors now all give a location