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