まあカタカナだらけになるならそのままStored PropertyやExistential Type、Invariantって書いた方が分かりやすそう。