perf(algebra/category/Module/monoidal): fix timeout (#16903)
elaboration of category_theory.monoidal_preadditive took 23.2s -> 2.93s
elaboration of category_theory.monoidal_linear took 12.5s -> 2.89s
[timeout in last bors batch](https://github.com/leanprover-community/mathlib/actions/runs/3223730534/jobs/5274107482)
