We intend to go on to produce more complex models of this type like Bayesian Networks, which are easier to use in a more robust setting, e.g.
this ordering on patterns is useful as it allows common prefixes to be merged during minimisation.