This looks good, but I think it also makes sense to document the `set_enabled_equivalencies` functions at the top level of this file.  It one wanted to do it for another equivalency than this one, it might be hard to find it here.