TermWrap patterns simplify wrapping some complex constructor pattern around a term. For instance, split(f,g) can now be written as

  !(<f>,<g>)

and this generalizes to arbitrary build patterns.

---

CategoryDone^? | LanguageExtensions | Contributions by EelcoVisser