Updated State of Valhalla documents

[Dan Smith]

> On Jan 5, 2022, at 5:14 PM, forax at univ-mlv.fr wrote:
> 
>> But: it's really important to understand that, in the proposed model, primitive
>> values, identity objects, and value objects *all* belong to classes.
> 
> yes,
> for the VM, a lambda, a record or an enum are all classes, even if in the syntax the keyword "class" is not used.

Not talking about the VM. I'm talking about the language model.

> A primitive (B3) does not provide proper encapsulation unlike a classical Java class (the one spelt "class" in the language),

You should say "object" here, not "class". Primitive values have classes, even though they are not objects.