Remove distinct variable constraint in nqprlu
Remove distinct variable constraint in nqprlu

There had been a distinct variable constraint between l and u
just on the general idea of "avoid bundling". Although
this constraint hasn't really caused a problem as such, it
does need to be carried through a family of theorems which
rely on it.

metamath/set.mm,metamath/set.mm,metamath/set.mm