I'm leaning towards your initial judgement that their global objects since you can't use these as types in JS.