Existential

Added support for existential variables.