Add SimplExist and SimplForall

1 job for master in 31 minutes and 13 seconds (queued for 5 seconds)