Tac2env
Tac2intern
Tac2interp
Tac2entries
Tac2core
G_ltac2