Improved numerics

Composed types like Vec<N, complex<T>> should now work with norms and inner products.