Add a meta "remove_def"
This meta would allow to remove the definition of a symbol but keeping the declaration.
There already exists a meta remove_logic
to remove a symbol as well as a meta remove_syntax_logic
to remove the definition of a symbol by replacing it by one in a printer. We just have to add a new meta remove_def
that does the same as remove_syntax_logic
but is not interpreted by the printer.