As of today, the TEI Guidelines contain:

vocabulary

362 elements, 95 attributes, 88 classes are defined

suggested usage rules

24 modules with 7185 lines of rules in compact Relax NG

constraints on text

W3C Schema datatyping and semantic classes

dependency rules

not formally expressed (yet)

lookup rules

not formally expressed, but documented

common sense rules

lots of descriptive prose