pretty names in substitutions in trees when printing
more clear test function
Extending of TreeInterpreter to work with if-expressions
Coding type checking of simply typed lambda calculus in SLL