On Simplify

Keep up with developments with Simplify (simpl.fyi)