Finish up lambda calculus section
Finish universality section
Complete partial-recursive functions
Finish SKI-combinator section
Finish tag system section
Finish cyclic-tag section