Add Enum instance for BitVector type
Merge branch 'generalized-interface' of github.com:hguenther/smtlib2 into generalized-interface