Added a new type MonomialAlgebra. Made function names consistent with the papers.