Patch WebKit model

These fixes patch the WebKit model to generate the correct types and values.