infixr for <== and added mux'