Added some bindings so that bit vector constraints can be understood by the external constraint solver.