Removed unicode-escaping of illegal identifier characters in the pretty-printer. Adjusted the isValid predicate and the Arbitrary instance accordingly. See issue #53 and Spec 7.6 for more info