Printing relevance annotations in CExpr.

(Re)added all the required mechanism for properly printing annotations
of Relevance typing. Also improved pp of those typings (even if just slightly).
Minor code improvements in AnaRelevance.
Wrapping CExpr in annotations and carrying R ids

Relevance ids in the local environments are carried along with the relevance
typing.