Minor refactoring
Tidy nested vector implementation
Refactor to make persistent vector implementation depend on protocols
only
Fix and test get-shape implementations
Fix and test vector dimensionality