Updated notation for refinements.
Separated namespace for macros that manipulate source documentation (e.g. cross-references) but do not apply to CC semantics.