A partially and lazily sorted list data structure for Python