Big refactor

Mostly two things

* Now meta-variables definitions/instantiations are treated like normal
  definitions.  This is preparing to solve issue #5.

* No qualified Telescope/Context/Substitution, everything is in
  Term.Types.  This simplifies matter greatly, I got really sick of the
  module hell in that space.