Improved unicode generators.

Add int/0 and int/1.
Reformat some inport and export attributes.