Records: handle read-only properties in dynamic records (final fields or getter on;y)