Shelve the univariate_monomial class for now, it's not really used anywhere
and it's behind feature-wise.