chore(library/simplifier): delete old simplifier

This was the simplifier used in Lean 0.1.
chore(library/simplifier): delete old simplifier