map key type should be provided by nominal type calculator