Export TermState for haddocks.
Cosmetics.