Lift restriction on first character of type-level identifiers

[jgrosso]

Continuation of #71, for type-level names.

If Haskell ever gets support for allowing unicase characters to start type-level names, we could use a unicase character as the prefix for both value and type-level types. (However, AFAIK this isn't being worked on – just listing the possibility for posterity.)