Basic operations on Patterns
Operations for obtaining and modifying Patterns based on a term
Operations for obtaining subpatterns (in the isSubPatOf sense)
Operations for the direct construction and perturbation of Patterns
Re-exported for convenience