typos fixed; text added for describing how smackage works with MLKit and SMLtoJs