まあカタカナだらけになるならそのままStored PropertyやExistential Type、Invariantって書いた方が分かりやすそう。
結局、僕はそれに逃げてるんですが、かといって「クラス」や「プロパティ」はカタカナで書くわけだし、どの方法も微妙なんですよね。カタカナ語が定着してるものはカタカナで書き、そうでないものは英語のままにする（初出時に読み方をカタカナで書く場合あり）というのが僕自身は読みやすいと思うので、一貫性はないですが自分で書くときはそれで妥協してます。