A mirror of the ATS compiler with some experimental features.