Version adjustments
Add support for existential (oneof)
Datastructure changes for existential operator
Minor bugfix

  * Minor typo
  * Fix an infinity loop bug exists in leaf detection code
Release 1.4.3

  * Internal refactoring
  * Add helper functions for creating expressions