Fix some 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 been relaxed.