Add Koen's flatten examples
Add the PQ-example from the induction workshop

I can't remember the exact details but I hope it's a faithful
representation.
Merge branch 'mono-new' of github.com:danr/hipspec into mono-new