Sketched outline for distillation
Analyzed simplification behavior of fixpoint combinators
Added supercompilation project TODO notes
Added miscellaneous notes to supercompilation TODO