added some instances
added new monomial internal implementation candidates
changed to sort groebner basis
Removed OrderedMonomial' and changed to use strict Maps.