Add test demonstrating bugs in some unicode fns

In particular, the grammar-deltas embodied in these effect are not
recorded against the theory and so merges involving that grammar won't
pick up the Unicode forms of the rules.