Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking