Sugar propagates annotation from expr into sugar.expr, but no mappend of hidden exprs yet