Unicode-enabled OPI, and rewrite of printReprToStream.