Fix treap_list
Add verification of treap_list
Add lazy_treap_list
Split traits for range queryable data structures