Are all terms of type forall a. a operationally bottom?
Sure, just take R to be $\{(\bot,\bot)\}$, the relation which only relates bottoms.

This is a strict continuous relation, so it satisfies the requirements of the free theorem you linked to.