Freund, M. A. A Concepturalist Second-Order Logical System With Ramified Lambda Operators. CRHF 2018, 24, 47-72.