Responsive Parallelism with Synchronization Case Studies

Implementations of the type system described in "Responsive Parallelism with Synchronization" in C++ and Rust, as well as implementations of the case studies. Included are instructions on how to build and execute the case studies, as well as a docker container environment that can be used for compilation and execution. Software uploaded for artifact review process.