Notation for type class logic connectives as `TCAnd`, `TCOr`, ...

In order to use them in a more readable manner, it would be good to have the usual notations for these in a specific scope.