Web IDL parsing