Reading the doc, I believe this is supported with these restrictions: (1) value classes may only contain other value classes, and (2) value classes cannot contain instances of themselves (no circularity).
Re-reading the doc, the restriction is that all fields of a value type must be final, because value objects do not have identity.