Some Properties of Equality and Implication in Combinatory Logic