Initial porting of SMLOG on MLton compiler.