Binary Expressions implementation and tests