Replaced \tag{*} with \tag{$*$}, restored the more sane defaults and replaced fancyref by the command \autoref of the hyperref package