Added support for implies in SQL translation
plus bugfix to the translation (the syntax for union is peculiar with MySQL)
Fixed Monpoly translation for implies operator