Misc code/documentation for work on MLton GSoC-2013