ATS-parse-emit-CIL: adding support for data types (listlen.dats works).