Semantic checking for binops, time to see if it works
Semantic checking tests passing and added and and or operators