First version of the formist examples (needs much work).