Added some more documentation to badger.h