Sugar propagates annotation from expr into sugar.expr *broken*: no mappend of hidden exprs yet, and ExpressionN isn't annotated