A (WIP) equality saturation tactic for Lean based on egg.