Update notes on SML from proglang