An initial sketch of a spec for WindowProxy