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