Using the standard (type class based) transitivity tactic for more contr...

...olable proof terms. As discussed in #454.
I don't think we need parentheses here.  Is there a reason to add them?