generate nice types with unicode symbols when required