Add symbolic enhancement of JSValue
Move the symbolic infrastructure into JavaScriptCore