ドメインにおけるモデルとしての型定義とデータとしての型定義を区別した考え方について