generalized Vector element types in dopcore