Use SortedVar rather than String for vars in anchor assingnments

[HanielB]

This is necessary to fix a bug (introduced in ce9d5e54099e209f74fca784d31a05b1cc1a619c) where elaborated proofs will not be checkable by Carcara itself (since the printer was not printing anchors according to the new format).