Support identifiers and types with unicode in them

This PR depends #3.