Updated the referencing package from fancyref to cleveref and varioref.
Added new operators and commands. Updated counters.