get rid of forall quanfier.
equality defined between typelevel integers.
Merge branch 'master' of github.com:goldfirere/units

Conflicts resolved:
	src/Data/Dimensions/Zahl.hs

documents for the potentially wrong design.