if-then-else for functions is translated into Condition_float
arithmetic operations on functions are explicitly compiled
logic operations on functions are explicitly compiled
better type checking
Neg is compiled into function