Rename {add:define}-(fact|dimension)!