Add support for ImplicitParams and RecursiveDo in TH