Cleaned up example and user_bitvector.hpp