type Monomials<F, Column> = HashMap<Vec<Variable<Column>>, Expr<F, Column>>;
struct Monomials<F, Column> { /* private fields */ }