fixed small bug in CombinatoryLogic
fixed small bug in CombinatoryLogic
Fixed bug in FunctionNode.__eq__ -- must check that args are FunctionNodes