Fady Adal

@linesthatinterlace That's a good idea! I'm working on adding it at the moment. But do you mean *from the most significant bit?

``` /-- Append a single bit to the end of a bitvector, using big endian order (see `append`). That is, the new bit is the least significant bit. -/ @[expose]...

I was able to get a native `popcount` implementation that uses either compiler builtins or GMP (or naive C++), depending on size (and GMP availability). I did some [benchmarking](https://gist.github.com/f64u/51649de8c91e7d67b8a4141e8dedc658) with...