Fixing bugs and adding tests to check for them
Fixed issue of typechecking arguments passed to overloaded operators and added
test (Need to add tests for other kinds of overloaded operators to make sure
we are handling all of them correctly)