Fix warning messages

Conflicts:
	src/HipSpec.hs
	src/HipSpec/Init.hs
	src/HipSpec/Prelude.hs
	src/HipSpec/Trans/QSTerm.hs
	src/HipSpec/Trans/Theory.hs