Updating: minor addition.
Updating: fixing a serious glitch in trywith-expression compilation.
Updating: updating ATS-CMake.