Add notes
Update notes after reading Open Data Types and Open Functions
More notes
Signal instrumented code with `i13n` (instrumentation) comment
Rename Boolean -> Bol and BoolConstant -> Boolean
Add `let` test
Add `Seq` term for sequences

Desugars into dummy let
Add fenton example
Add `deref` and `assign` facet rules
Cleanup and moving code around
Add Show to Terms for debugging
Add `apply` rule and `if` desugaring

Closure functions are created at interpretation time for pretty
printing boolean encodings.

Conflicts:
	LC.hs
Differentiate between `Branch` and `Principal`
Fix indentation