Updating: tidying up.
Updating: tuning prelude-CATS-files.