monomial: beautify the evaluation type definition and a doc fix.