Standard ML in 2020