Fix [change] forgeting about universes in the right-hand-side (#36) and better fix for #35 and #37,
disallowing only Set/Set+1 <= Prop constraints.