Add support for synthesizing deferred permutations.