Using multiple Existentials at once #45

It's a bit annoying when we have

exists a. exists b. P a b, we have to instantiate a and b separately at the moment. It would be nicer if we could do them together similar to how assumptions are handled at the moment.