fix(algebra/pi_modules): pi instance for module shouldn't search for the ring structure
fix(algebra/pi_modules): pi instance for module shouldn't search for the ring structure

leanprover-community/mathlib,leanprover-community/mathlib