------------------------------------------
	Implement reification for Template Haskell
	------------------------------------------

This is entirely un-tested, but I don't think it'll break non-TH stuff.

Implements
	reifyDecl T :: Dec	-- Data type T
	reifyDecl C :: Dec	-- Class C
	reifyType f :: Typ	-- Function f

I hope.