added first preliminary version of leibniz eq detection and replacement rule
added first preliminary version of leibniz eq detection and replacement rule

leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III