more binary op translations
more infix op names