Make bitv's APIs match RFC + fixup