an optimizing sml compiler
