Port orthotope to arbitrary underlying type of tensors (think MLIR)

[Mikolaj]

See #43. Perhaps backpack is the right tool to express the parameterization. If we decide to suffer the tool support problems with backpack, perhaps the other code duplication in orthotope can be handled as well and would sweeten the deal.