Adding preliminary version of the hott_simpl tactic