finished alpha equivalence, fixed a bug in sub and subtract, and added test cases