add a hash table to the environment for the many long term definitions
and axioms of LF