Tests: add binary operators to formula tests.