working substitution, yay!
subst: change order of operands
beta reduce! whoa!
allow uppercase identifiers (for substitution)
move stuff around
add context manipulation to be able to name things
tidy up (again)
Church numbers
add convenient "context+parse" functions
remove `subterms`
homework done!