You write
> Equivalence. Two Values are equal if neither is less than the other according to the total order.
Directly below the total order of what you call "kinds". That confused me.
> Equivalence. Two Values are equal if neither is less than the other according to the total order.
Directly below the total order of what you call "kinds". That confused me.
Re: distinction between form and content, that's the intended aim of having separate "semantics" and (two) "syntax" sections. The idea is that to compare Values (i.e. to know which Value you have!), you work in terms of the "semantics" section, not in terms of any particular surface syntax.