Anfonwch hwn fel neges destun: Internal proof calculi for modal logics with separating conjunction