> I'm not sure if it should be inclusive ("letter (letter |
digit)*") or exclusive (a list of all the tags).

IMO it should just be <identifier>. The reader can raise an exception if
its not a type that is supported. It would also support |f64|, which
would be odd but I think should be OK.

-- Peter McGoron