Idea: Configuration switch between records and objects.

Someone might want to contribute this:
A config flag that decides whether or not to prefer records (faster, and will require a bunch of fixup to compile the result), vs. objects (more flexible, but incur runtime cost).

The issue does not name files, tests, or an entry point. First locate the compilation paths that produce records and objects, then determine how configuration is handled; done should include a switch that selects either representation and preserves compilation behavior in both modes.

Written by the indexing model from the issue text.