Start to translate 2010/09/01/dependent-types-in-ats.md