This adds headers to the logical relations files, describing their contents. In addition, ref_mut has been renamed to ref_uniq.
This adds headers to the logical relations files, describing their contents. In addition, ref_mut has been renamed to ref_uniq.