Unitary vs. Isometric&Coisometric
SHT are in general not unitary but they can be (co)isometric. In this case, there exist left- and right-inverses. Do we want to distinguish unitary -> (co)isometric in order to automatically enable e.g. inverse_times
for certain isometric SHTs?