yes, but with the proposed semantics, it's not possible to extract the record instance AND have the length of the record component list checked.
I think we've beaten this topic to death. Yes, I get that you want this. We can come back for it when we're happy with the story.
