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.
WIP paper
WIP paper