Using a variation on the concept of a CS module, we describe exactly when a simple ring is isomorphic to a ring of matrices over a Bézout domain. Our techniques are then applied to characterise simple rings which are right and left Goldie, right and left semihereditary.