TH: make `Lift` and `TExp` levity-polymorphic