Added some introduction to kvl_sorted.