Sped up debug printing of patterns, a lot
Alpha-equivalence respects magenta
Brazil/syntax.ml uses the mkZZZ fns
Optimize shifting by zero
typing.ml uses the mkZZZ fns
equal.ml uses mkZZZ, but not spines
Deleted remnants of spines from Pattern
3x speedup by a fail-fast in pattern-matching apps