Give NaiveEquationalReasoning the set of symbols in the signature.