A bit more info about ATS2 target language (from what I could gather).
slightly improving atsdoc article
Updated TODO (markdown)
Updated atsdoc (markdown)