Add version notice to documentation
Allow Unicode in names
Distinguish generic and concrete types based on name length