ML game and more MLTon hacking :)

[Stephen Weeks]

> Well, I was thinking about if I were using #defines - which
> should effectively be like inlining. This kind of performance
> won't be possible with the native backend will it?

It should be, when necessary.  Any _prim that is now implemented as a
#define will either have to be changed to a function or will require
special compiler support (easy enough for peek and poke).  If the
latter, then it should be as cheap as now.