Added some Expr translations, and made the query builder use a conjunction at the end.
More bianry operators implemented, conversion of bitvectors to boolean and back implemented