[polyml] Unicode in Poly/ML?