Only comments:  add notes explaining the various oddities of the `Typeable` implementation for type-level literals.