Added NormExponent trait for exponents of norms unthreaded

Improve documentation

Added type for numerical errors

(0) -3 +3 +10 tip

mercurial