-- | creates the homomorphism operators and adds it to the given operator map
homomorphism_ops :: Set.Set SORT -> OpMap -> OpMap
homomorphism_ops ss om = Set.fold f om ss
    where ot sort = OpType Partial [mkFreeName sort] sort
          f = MapSet.insert homId . ot

-- | applies the iota renaming to a signature
homomorphism_ops :: Set.Set SORT -> OpMap -> OpMap
homomorphism_ops ss om = Set.fold f om ss
    where ot sort = OpType Partial [mkFreeName sort] sort
          f = MapSet.insert homId . ot

-- | applies the iota renaming to a signature
homomorphism_ops ss om = Set.fold f om ss
    where ot sort = OpType Partial [mkFreeName sort] sort
          f = MapSet.insert homId . ot

-- | applies the iota renaming to a signature