Update ats.json

Applied Type System refers to the foundation of the ATS programming langauge; it is not the name of the language.