Consider deferring module top level in type checker

We currently never defer module top levels in type checker. This can cause some Cannot determine type of x errors in import cycles. They are real in some sense, because such code would almost certainly fail at runtime. However, this might sometimes be useful in stubs (as practice shows, this is however not important and shows up only in highly entangled import cycles, such as e.g. builtins SCC).

Es werden keine Dateien, Tests oder Einstiegspunkte genannt. Beginne damit, die Behandlung der Module auf oberster Ebene im Type Checker nachzuverfolgen und die gemeldeten Cannot determine type of x-Fehler in einem Importzyklus zu reproduzieren, einschließlich des builtins-SCC-Falls; abgeschlossen ist die Aufgabe, wenn eine festgelegte Zurückstellungsrichtlinie vorliegt und Tests das beabsichtigte Stub-Verhalten zeigen.