Binding_Syntax_Theory.Transition_QuasiTerms_Terms