Backport "Spec: Rewrite the type system fundamentals." to LTS#19034

Merged

Kordyjan merged 2 commits intorelease-3.3.2from

Dec 8, 2023

Commits on Nov 29, 2023

Backports #17447 to lts
Kordyjan
committed
Spec: Adapt basic declarations to the new type system.

sjrd
authored and
Kordyjan
committed