Fix type analysis for bitwise operators and Seqof/Bitstring operands