Allow base types to be quantified in signatures.
Make identifier syntax more conventional.

The vocabulary lookup token is now double-colon ('::') instead of
underscore ('_'). Underscore is now an ordinary identifier character,
and primes are no longer allowed.