Newtype CoreMap and TypeMap so their keys are user-friendly.