Latte: Implemented existential operator ?-> [#1032]