Support floating-point if/while statements: if(1.0) { ... } Support reading values from float and double pointers. And some additional error checking. Detect malformed "return" statements Detect passing the results of "void" functions as arguments.
We now check the types and number of arguments to a function.
