Using multiple Existentials at once #45
Description
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.