Fixing semantics of Univ.Level.equal.