HCoop backport of SML/NJ for ml-nlffigen