[MLton] MLton HOL

[Stephen Weeks]

> Yikes!  What was the pre-backend/backend/codegen breakdown?

	 backend finished in 113.78 + 42.35 (27% GC)
      pre codegen finished in 456.25 + 260.84 (36% GC)
      x86 code gen finished in 24579.91 + 5485.26 (18% GC)