Implement a Vector aggregate type

Vector models a mathematical vector in n-dimensional space
See also issue #104