MLTon: A whole-program optimizing compiler for Standard ML