Prepared existing strategies for generation of the exist1 expression and renamed Quantifier enum to OrdinaryQuantifier
Added naming prefix that will be used for generation of the exist1 expression
Minor updates to the statement visitor to reflect changes to names