Detect bound hardware when processing record elements (#3037)

Use new private Record._elements to validate Record elements. This
allows us to check invariants earlier than on cloning or binding.