Status update on overloaded records work?

Hi, I'm curious about the current status of the overloaded records work. Is the design the same as when the project started? Did we manage to keep the types simple? -- Johan