Здравствуйте, BlackEric, Вы писали:

BE>А искать несоответствия типов и прочие ошибки потом как?

Через рефлексию по метаданным модели

Это конечно не решает проблемы проектирования БД в Code First но так можно и несоответствие миграций и модели автоматом прочекать.