Add sort example, improve some details in specification