Inner product spaces

[ldr709]

The only sort of norm defined is Quadrance, and its name makes it seem like it should satisfy the parallelogram identity and so define an inner product. It would be useful to have a class for inner product spaces, i.e. modules with a symmetric sesquilinear form.