Add monomial equality consts, fix vector constrs