fix: explain monomial
fix: option in proc elim
add: doc: option(warn)