Add token_to_binary_operator()