ATS-parse-emit-CIL: better support for closures; adding twice.dats
to the test suite.