Introduce more TEI tags in deserializer