Updating: adding list0_is_nil and list0_is_cons.
Updating: ATS-CMake.
Updating: ATS-CMake.
Updating: ATS-CMake.