Adding sml language notes