add Qualifiable instance for TransInv
add Eq, Ord, Enveloped, and Traced instances for TransInv
optimize Transformable instance for TransInv

instead of applying the given transform and then applying an inverse
translation, just zero out the translation vector of the given
transform before applying it.