Spec: Rewrite the type system fundamentals.#17447

Merged

sjrd merged 7 commits intoscala:mainfrom

sjrd:spec-type-system-fundamentals

Jun 7, 2023

Commits on Jun 6, 2023

Spec: Address review comments except volatility.
sjrd
committed

Commits on Jun 7, 2023

Spec: Replace volatility of types by the realizability concept.
sjrd
committed