- [ ] Upper layers of well-abstracted data structure operators - [ ] Completing the concurrency primitive abstraction for concurrent data structures - [ ] A framework for abstracting different levels of operator flow