generalized Vector element types in hinit