Module analyzer

Modules

• storage

Structs

• Ctx
• UsageAnalyzer
  This assumes there are no two variable with same name and same span hygiene.

Enums

• ScopeKind

Functions

• analyze_with_storage
  TODO: Track assignments to variables via arguments. TODO: Scope-local. (Including block)