Start on vectors

Implemented the core of a Euclidean vector.
Geometrically each element represents an axis projection.

Implemented so far
1. addition
2. subtraction
3. length
4. dot product
5. scalar multiplication
Rename "length" to "norm"

Fixed a bug in the indexing function contracts as a result.