add example of how to use TypeVec
remove upper constraint on vector