add binAdr

added a function called binder that returns the address of the binary
connector in a binary formula.