tweaks to the type redefinition change, and NEWS updates