> There are, but they all have at their core an idea of an object which has identity, which values don't have.
Not at all, objects need to be explicitly allocated on heap, otherwise they are value based.
I took care not to list any language that only allows objects as references.