Change "type context" to "type environment" and add a hash table,
currently unused, for the global context, where long term definitions
will be stored.  It will be an error to ever redefine a variable
defined in it.