Some utilities for TermTraverse
Add target for TAGS
Export more from Term
Top level Syntax module with common stuff.
Add hierarchical debugging.
WIP Handle all eta-expansion on demand
Fix bug in constraint deps tracking.
Fix bug in eta-expansion of meta variables.
Not maintaining Hetero/TwoContexts for the time being.

I want to focus on some more general issues first, and they slow
things down.
Test to verify that pruning curries metas
Eta-expand and curry meta when pruning.
WIP Add substitution type, and get rid of .hs-boot
Try to go the typeclass-per-term-thing route

*winks at Andreas*
Pretty instance for Substitution
Instances for MetaVars.
Use Substitution throughout the codebase.
Define a `strengthenTerm`.

Using `canStrengthen` is really awkward.
Compile with GHC 7.6.3.
Create dedicated module for IsList.
Add small README.md