undefine user constants at runtime

Seems like an omission ... any reason not to have it ??