docs: モデルに関するドキュメントを書き直す

[laminne]

概要

• モデルの仕様はコードに書いてある以上の情報が無い
• refactor(todo): ドメインモデルの生成時バリデーションをライブラリで行うようにする pulsate#1581 でモデルの生成条件をライブラリを使って組み立てるようにするが，先に言語化しておきたい