code/wavebench.sml now getting same answer as wavebench-driver.cpp.

Also merged some wavebench-driver.cpp changes.
Working on the 3 levels of AST abstraction.