A bit more info about ATS2 target language (from what I could gather).