Question 1 complete, in process of completing Big Step (TypInfer)
Merge branch 'master' of https://github.com/Synz0331/CSCI3155