testing entries in TypeRegistry
Any missing includes or typos in the TypeName will only be caught when somebody tries to use the entries the first time. Perhaps we can come up with a way of testing the entries for correctness, e.g., similar to a header check?