Tracking issue for the design and implementation of a prototype static type system for Starlark, subsuming #22935 and #7468.

The approach is along the lines of #22935 (and the implementation builds on it), but without the focus on checking dynamic types at function boundaries.