added CombinatoryLogic example