categorical_combinatory_logic