Whole-program compilation in MLton