Existential operator ?-> first working implementation

This is some first implementation of existential operator, open for discussion.