Improve compilation CPU and memory use for binary operators

Actually complexity goes from O(N^3) to O(N^2) at compilation since returned
type of binary expressions is no more used to define operator types. Conversion
is done automatically which give a bit more work for each case to the compiler
but reduces considerably the number of situations to compile