Reflection utilities

* Added Eq and Show instances for TT and its dependencies
* Added minor functions for tactic script construction
* Added utility functions copied from the Idris compiler for working with TT
  terms