Changes the behavior of "degree" when variables have degrees != {1}

This is the proposed change for "degree" that was discussed on the mailing list. It agrees with the usual notion of degree when all degrees are {1}, and with "multidegree" for more general singly-graded rings.