Type-Safe Heterogeneous Maps

Use type-erasure and template magic to create maps that store values of different types associated with specific keys.