cut generation updates
a module for pattern matching on terms with symbolic patterns
missed -a flag in previous commit