> Since it was the main concern about record comprehensions, maybe we could reconsider them after I remove the "dive in". Basically, they are the same as list comprehensions with record generators except that they output a record and not a list.

We can definitely reconsider them. But now that they're out of this PR, let's keep them out. When that PR is all polished up and merged, then we can reconsider record comprehensions. It never hurts to do things step by step. ;-)