Describir: Theoretical Parallel Algorithms and Data Structures