Dedicated map module for type universes. It uses hashmaps, which are
slightly more efficient than plain balanced maps.