chore(algebra/category/Module/monoidal): Speed up the elaboration (#5383)
chore(algebra/category/Module/monoidal): Speed up the elaboration (#5383)

This takes the elaboration time from ~5s to ~2.5s for associator_naturality, from ~90s to 5s for pentagon, and from ~14s to ~8s for `triangle`.





leanprover-community/mathlib,leanprover-community/mathlib