Reverted reb-re-syntax