Is there a "compiler hackers" guide to MLton's internals. I'd like to hack into MLton to do some research, and what I'm looking for is a high-level description of the various ILs that MLton uses. In particular is there a phase of MLton where the IL is monorphic first-order and type safe.