Fix typos in libs/prelude/Prelude/Bits.idr
Fix typos in libs/prelude/Prelude/Bits.idr

kojiromike/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev