Maintaining lists of built-in symbols of various JS runtimes