Add SEq and SDecide instances for the singleton Z.
Added Haddock headers; added Data.Dimensions.Poly
Generalized numerical type
Fix warnings. Release.