annotating binary operators now passes tests for subset of operations