Use smart Pattern constructor throughout the code

[jberthold]

#4060 adds a substitution field to the Pattern type. We should ensure (by way of a smart constructor) that the substitution has been applied to the other components of the pattern, to avoid having to re-apply it.