Some modifications to forall, exists, map. There is still work to do on it