Standard ML compiler and toolkit