Introduce strongly typed bitvectors

Cleans up a whole lot of mess. Have to come up with a solution for bvextract though...
Merge branch 'master' of github.com:hguenther/smtlib2