pcf-v3.1.0 protected

Max Ole Elliger

@oc59yqul

dff6c022 · Merge branch '4-introduce-coproducts-and-maybe' · Aug 16, 2023

Release: pcf-v3.1.0

Implemented coproducts and the maybe-monad, refactored some pieces of code