Improve Ecto docs and nest TypeCheckError