add TeiFile for handling TEI objects