Unfold [transitivity] and [symmetry] in the corresponding tactics

Updated.