TransformationAddParameters and TransformationPermuteFunctionParameters always create a new function type. It would be good to be able to change existing types if they are not used by any other functions.