simpl - 簡略化

Coq < Theorem test: 1 + 1 = 2.
1 subgoal

============================
1 + 1 = 2

test < simpl.
1 subgoal

============================
2 = 2