Some utilities for TermTraverse
Add target for TAGS
Export more from Term
Top level Syntax module with common stuff.
Add hierarchical debugging.