Restrictions of proc-notation with RebindableSyntax