remove MAP2_def from cakeml compset, should already be in list_rws

actually list_rws contains MAP2 which doesn't cover cases where it is
applied to lists of unequal lengths, but those shouldn't be relevant.