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