problems others have making MLton using old version

[Henry Cejtin]

What would WordInf mean?  Only positive but no wrap around?  That would be
easy to write for MLton, but isn't standard.
What does the simplifier use 32 bit words for?  I would think that you would
need Int's.