A Unified Treatment of Structural Definitions on Syntax for Capture-Avoiding Substitution, Context Application, Named Substitution, Partial Differentiation, and So On