In order to support different levels for TxWits we will need to first convert it to a data family from an injective type family, otherwise our approach that is being implemented in #5334 will not work for witnesses
This will be similar to #4999 and #5000
