add existential operator
0.1.0