Binding_Syntax_Theory.QuasiTerms_Swap_Fresh