Enabling actual BindingInfo gathering in relevance

Relevance analysis had most of the code for this, but not all.
Adding parenthesis when pp Relevance Types.

This should cover some basic cases, but I didn't bother putting too much
thought into this.
Fixing unification and enabling the code.

Unification was not unifying anything due to a line I forgot to uncomment
after playing with. Also, I had forgotten to fix one line in unifying Top
and Rel.
Annotations should not influence relevance types.

I was resetting annotations in the catch all rule. Bug fixed. Types seem
ok now.