Second-Order Algebraic Theories - (Extended Abstract)