x +. y -> fadd x y (and others)