Generalize Expr.Pure from () to any Monoid
Suggest: Split suggestValue into suggestValueWith