Added template used for generation of the exists expression
Added transformation of the exists expression which completes the generation of this constuct (it supports multiple set binds and not type binds)