> A new cmcat, which meets (or exceeds) the behavior of the old cmcat. Very nice. > The new cmcat determines that: > atoms/scheme.sig > atoms/type.fun > atoms/type.sig > xml/sxml-tree.fun > are unnecessary for mlton/sources.cm. I went ahead and deleted all those.