Add tactic `tc_solve`.

This is iSolveTC from Iris. I think it's good to move this tactic to std++ because it is not specific to Iris.

Also I used the tc_ prefix to be consistent with other type class related utilities in std++.