Unicode identifiers

[ExpHP]

Rust 1.53 has finally stabilized the non_ascii_idents feature!

I do recall that frunk's type-system encoding of strings already supports unicode. Thus it'd be interesting to look into: Does frunk already support these identifiers? If so, we should add some regression tests. If not, we could look into supporting them.