Interesting to see (in the followup posts) that the structure of CBPV seems to lead to "lazy" records as a natural choice, contrasting with "strict" primitive values and sum types, and "lazy" function types. The connection to polarity and focusing is also worthy of note.