Make it compile, and use a List instead of a Vect

- It was necessary to add the new file lib/Prelude/Bits.idr to
  lib/base.ipkg.

- In lib/Prelude/Chars.idr, use a List instead of a Vect - no need to
  know the size.