Introduce new maps sumk_to_solver and solver_to_sumk

They take (block,inner)_sumk -> (block,inner)_solver,
and encode all the information contained in map, map_inv,
and map_ind. These functions will be cleaned up soon.