Big step semantics finished

Finished Big step Semantics, Still having issues with equal operator
test on auto grader.