Fix a bug in idris_bitstring

This was most definitely a typo leading to wrong type information.