Add a proving term transformer class.
Variant of ProvingTermTransformer

this allows for different converters running on the same non-recursive
stack.