Reify and separating renamer+TH from type-checking

[Edward Z. Yang]

I implemented the refactoring to run the renamer and TH splices all
first before doing any type-checking, but actually there's a problem:
Template Haskell splices can call 'reify', which needs the type
information in order to supply the information about the identifiers
in question.  I can't think of any good way around this problem.

Edward