s/Pretensor/Semitensor/ -- If we did promonoidal categories, we'd have Preprotensor, which is silly