Finished adding basic support for fixed width bit vectors of varying sizes. Added a simple example that checks integers for being a power of 2.