Added tyChar.
Removed HACK.
Refactoring pretty-printer. (Broken, do not pull.)