Added test for generation of the exist1 expression
Minor fix for spelling in the multiple bind visitor
Added a bind assistant
Introduced a bind visitor
Updated the assistant manager, visitor manager and the OoASTInfo to include the newly introduced bind assistant and bind visitor
Updated assistants to reflect minor name changes
Changed folder structure such that quantifier expressions are put in the same folder
Fix for the expression assistant for a case where a quantifier cannot be generated