unify form of validation
tweak validation of CorrectAnswer

名前空間を清潔にした。Choiceに対応する一意性制約を追加。
make test of CorrectAnswer

テスト内容はChoiceに似通っている。正解フラグをそのモデルに移す選択もある。それが関係代数操作に適するかはわからないが。
separate explanation into each choice

動作を確かめるためseedとコマンドラインインタフェースを更新した。
add ER diagram