Added the basic set functions
Re-implemented exists using forall