Semantic model

A compilation-bound view that resolves syntax to symbols, types, conversions, and declared meanings.