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_custom_storage

analyze_with_storage

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