TEI div tags with a type are processed by a different template match, but add the tei-div class.