Updating: minorly improving prelude/integer
Updating: adding a ATS-QA-list example