Merge "runtime: Bitstring implementation for subtype checking (3/4)."