design neededhelp wanted
Description
https://github.com/tmpvar/jsdom
This would need to mark all its objects as intrinsic automatically from inside the Prepack realm.
Constructors also need to be able to track how they were constructed. It can't construct using new HTMLDivElement() but it could do document.createElement("div").
I think this can mostly be achieved by treating everything as abstract and simple but it would be even nicer to be able to track expected side-effects so that even more can be done.