DoRec -> RecursiveDo
Added pair example for idempotent implementation.
Added TODO list
Merge branch 'master' of github.com:iu-parfunc/lvars
Bug fixes, semantics updates, more tests, general cleanup.

It is now possible to threshold on frozenness!
Reconciling with paper semantics; various fixes.