Better ref
Rewrite the part about tag and type validity
Start rewriting the generic identifiers theory, and mark the non-rewritten parts in red
Rewrite beginning of GI theory
Rewrite the last parts of GI's and validity