Inaccessible equations in a closed type family now leads to a
warning, not an error. This echoes what happens at the term level.