Add simpl
Add a transformation that does less reductions/rewriting than compute_in_goal. It should be similar to the Coq tactics simpl or red.
Add a transformation that does less reductions/rewriting than compute_in_goal. It should be similar to the Coq tactics simpl or red.