I guess what I was thinking somewhat aligns your idea of AlterOpLayout(func_converter)(mod). Just the programming model looks a bit confusion. That’s why I was using another name, but I am open if everyone agrees with this proposal.
A more general consideration would be upgrading AlterOpLayout to AlterLayout that processes both ops and functions. In this case we also extracts the logic of converting ops and put it together with the logic of converting functions. This is just my rough thinking tho.