Improved the transformations of the quantified expressions by using more abstract syntax transformations in order to get rid of the quantified expression templates