rename prefix v -> tv for typevecs