Shop Iwasawa Theory, Projective Modules, And Modular Representations