Pairs, Subtraction, Y Combinator, and Factorial

[evinism]

We're gonna go down this path!!!

This, combined with an overview of the lesson plan will make lambda explorer a little more comprehensive than most tutorials.

(well, without replace and eta reduction hahahaahahaha oh nooo)

I'm starting to realize this almost certainly DOES require persistence of defns cross-refresh