Update lib/Prelude/Bits.idr