Const
The definition models a primitive, available even in an empty environment (R's own list decides CallProp.Primitive).
Readonly
The definition models a primitive, available even in an empty environment (R's own list decides CallProp.Primitive).