More restructuing, additions, and corrections

De-figure the smaller examples
Remove the call frame from the evaluation context
Likewise remove the call expression
(Blessed closure application IS a call -- right before)
Name all the reduction rules
Add prose describing the reduction relation