Excellent. Thanks. I still don't have them installed, but it would be a good thing to get as many implementations going as bases. Other than MosML and the ML-kit (and SML/NJ and MLton), are there any others that come close? Did you ever try Hamlet with separate compilation, or is that one too much of just-demonstration-ish?