[MLton] Successor ML and MLton

[Vesa Karvonen]

I've been playing a little with Andreas Rossberg's HaMLet-S
(http://www.ps.uni-sb.de/hamlet/#successor-ml) and I like many of the
simpler, mostly syntactic, extensions a lot (like the record construction,
pattern matching, and module language shorthands).

So, I've been wondering how people feel about supporting those in MLton.
Any thoughts?

(I could perhaps implement a few of those for MLton...)

-Vesa Karvonen