Attempt to use a transparent kernel for `RepTruncPrOp`

[mortendahl]

It should be possible, which would also simplify trait bounds.

Maybe the only blocking thing is that there must be alignment on the underlying host ring, meaning maybe we need something like

RepT: CompositeTensor<Underlying = HostT>,
AdtT: CompositeTensor<Underlying = HostT>,