Set `Hint Mode` for `TCForall`, `TCOr` and friends

As discussed with @janno @msammler we probably want to flag all parameters as input, with the exception of the second parameter of TCEq and TCForall2.

assigned to @robbertkrebbers

mentioned in merge request !121 (merged)

closed via merge request !121 (merged)

mentioned in commit 20ef8941