remove term Context caching
clean up imports
Merge pull request #563 from kframework/remove-TermContext-caching

Remove term context caching