problems others have making MLton using old version

[Stephen Weeks]

> Perhaps the `standard ML' version of MLton should also do the 32-bit stuff.
> I guess that then it would be depending on Int32 and Word32 existing.  Does
> a MLton self-compile depend on Int and Word being Int32 and Word32?

Yes.  The dependence on Int32 is not essential and should be removed (we should
just use IntInf).  The dependence on Word32 is harder to eliminate, since there
is not WordInf), and the algebraic simplifier uses 32 bit words.