Products and started work on normalization and equivalence
Merge branch 'master' of github.com:ekmett/hask, Add Ob c ~ Ob (Op c)

Conflicts:
	wip/Univariant.hs