Where is `GeolocationPositionOptions` defined? Shouldn't it be defined in `objectliterals.export`?