prettype: added input modes

instead of using ugly "]]??" and "\u????" for inserting special
characters, you can now use `/prettype mnemonic` and `/prettype
codepoint`.