ex The simply typed lambda calculus with existential packages. Written in C11, compiles to C11. WIP for sure.