add basic well-formedness pass, checking that binary operators are not mixed