Efficient Inclusion for a Class of XML Types with Interleaving and Counting