Function is_monomial_expr 

pub fn is_monomial_expr(e: &Expr) -> bool

Is this expression a single monomial — the leaf shape is_expanded_quadratic admits on its sum spine?

Public because the parse-time recognizer has to answer the same question about a V-segment body it has already parsed, and must answer it with this code rather than a second copy of the rule.