Incrementally build and use a map during compile time

Question

I would like to build a map of used types during compile time and verify that all entries are consistent.

An example usage would be a set of configuration settings th