switched the map from lambda to CL back to Barendregt's