ppppp:[:]nnnnn should probably result in an error

[CLHS section 2.3.5 (Valid Patterns for Tokens)](http://www.lispworks.com/documentation/HyperSpec/Body/02_ce.htm) says `ppppp:[:]nnnnn` are undefined token patterns.