problems others have making MLton using old version

[Stephen Weeks]

> What would WordInf mean?  Only positive but no wrap around?  That would be
> easy to write for MLton, but isn't standard.

Right.

> What does the simplifier use 32 bit words for?  I would think that you would
> need Int's.

For simplifying Word32 ops.  


I don't think eliminating either of theses dependencies is worth the trouble
right now.