chore(library/simplifier): delete old simplifier

This was the simplifier used in Lean 0.1.