record = finite association of values to labels
(a = 3, b = true ).a ≡ 3
slide
:
The object subtype relation