printing/parsing discrepancy for character classes with colon

[ceedubs]

Currently the pretty printer will print a character class containing a colon as [:]. However, the parser will reject this, because when it sees [: it expects a POSIX character class.

It may not make sense to accept POSIX character classes, since we aren't actually doing anything sensitive to the locale. Maybe \p expressions would make more sense.