Add static function FormatEditor.resetFormat() that resets the format (field hierarchy and definition domain) of a field/symbol