start creation of a type-level Map.