Use new options for explicit conversion of data structures in `WrapperCategory` everywhere

[zickgraf]

#964 introduces new options for explicit conversion of data structures to WrapperCategory but does not use the new options at all places where WrapperCategory is currently used. These places are marked with TODO in the code. The old code is still valid, but using the new options would be nice for consistency.

[zickgraf]

Only LeftPresentationsAsFreydCategoryOfCategoryOfRows and RightPresentationsAsFreydCategoryOfCategoryOfColumns are left. Those should be fixed as part of #937.

[zickgraf]

@TKuh Could you tackle this as a preparation for #937/#932? This should affect the compiled code of IsEqualForObjects (and maybe other things), that's how I now come across this. Then we can first finish IsEqualForObjects and PreCompose which should be simple, and then finally the tensor structure.