adds seq<T>#exists and forall