Test and refactor ExList.forall
Add ExList forall awareness function and tests