Update ats.json

Applied Type System refers to the foundation of the ATS programming langauge; it is not the name of the language.
Merge pull request #1 from githwxi/patch-1

Update ats.json