Fix bitrot :)
The universe need only contain representatives
Update the example with AppendLists, by deforestation of Difference Lists
Update halo
Fix warning messages
Refactor out the main loop

Conflicts:
	src/HipSpec.hs
Add a HipSpec Monad with an appropriate environment
Add gitignores to zeno and prod testsuite
Merge branch 'master' into ueq

Conflicts:
	halo
	src/HipSpec/Init.hs
	src/HipSpec/Trans/Theory.hs
Waldmeister pretty printing wibbles