Reorder
Add function to set value of vector and lens
Move HVec to separate module
Add default implementation of HVector using generics