Fix a bug in idris_bitstring

This was most definitely a typo leading to wrong type information.

Reported-by: EvanR on IRC.