C-SHORe project (Collapse-Saturation for Higher-Order Recursion).