Fixed universe subsumption in Typing.check