Partial support for Existential constructors

Partial because:
  * No exaustive testing
  * Does not keep track of the Exist rule, as it should(?) do, for future reference
Partial support for Universal constructors

Partial because:
  * No exaustive testing
  * Does not keep track of the Forall rule, as it *should* do,
    for future reference