Add indexing for heterogeneous vectors
clarification
Add right fold for heterogeneous vectors
missing export
Add show instance for HVec