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).

ファイル、テスト、エントリポイントは指定されていません。まず、type checker におけるモジュールのトップレベル処理を追跡し、import cycle で報告された Cannot determine type of x エラーを、builtins SCC のケースも含めて再現してください。完了条件は、延期ポリシーが決定され、意図した stub の動作を示すテストがあることです。