Add a snoc reverse example
Update quickspec version.
Use the new stm-promise
Merge branch 'master' into pp

Conflicts:
	hipspec.cabal