Lists: a few results on Exists and Forall and a bit of code cleanup.
Lists: enhanced version of Seb's last commit on Exists/Forall