Fix an error in the type inference of bitstring data

Dialyzer was constraining bitstring data used in the construction of other
bitstring values too much. These constraints have now been relaxed.