Corrections to the lambda-calculus-subst, and addition of unit tests for the lambda-calculus-subst.