Binding_Syntax_Theory.Well_Sorted_Terms