Support for existential quantification

Forgot to push that while working on Odhac