[MLton] Main.main idiom

[Henry Cejtin]

Also you want any Main.main function to handle exceptions and print some
program specific error message about unhandled expressions (probably).