Alpha equivalence in TH expressions and declarations