-- | applies the iota renaming to a predicate map
iota_pred_map :: PredMap -> PredMap
iota_pred_map = MapSet.foldWithKey
  (\ p (PredType args) -> MapSet.insert (mkFreeName p)
       $ PredType $ map mkFreeName args) MapSet.empty
iota_pred_map :: PredMap -> PredMap
iota_pred_map = MapSet.foldWithKey
  (\ p (PredType args) -> MapSet.insert (mkFreeName p)
       $ PredType $ map mkFreeName args) MapSet.empty
iota_pred_map = MapSet.foldWithKey
  (\ p (PredType args) -> MapSet.insert (mkFreeName p)
       $ PredType $ map mkFreeName args) MapSet.empty