Rename cp-set to cp-data / add PriorityQueue