Cumulative hierarchy in Coq
---------------------------
Aczel's model of CZF done in Coq.
Uses [std++](https://gitlab.mpi-sws.org/iris/stdpp).