Add an example with simplicial types