Introducing the "lookup-constants runtime system" :)

[Henry Cejtin]

Yes, the funny constants set on the MLton command line would have to be
handled separately.  Are there very many of those?