Add Num instance for bitvectors
Easier show instance for bitvectors
Export bitvector utilities
Fix example file