The final sentence just before 5.2 (expresing why we do NOT use the free- coercion representation) is a bit bad. MLton uses this to store environments in nice ways, not to flatten nested tuples expressed in the user program.