Fixed symmetry of addition with respect to zero
Added constructors to Z, S and N
Deriving Typeable
Merge branch 'master' of https://github.com/roelvandijk/numtype-tf

Conflicts:
	Numeric/NumType/TF.lhs