[MLton] property-list vs. hashtable

[Henry Cejtin]

Am  I  correct  that  the  big change would be that no more manual freeing of
properties would be required?  That would seem like a definite win.