for_all, rev, iteri, exists added to sequence