Add monomial equality constrs, fix vector constrs