Records can currently only have named fields.
There's no reason why they can't have positional fields. We can even mix named and positional fields, though I don't think that will be a useful feature.
So for now we should not allow mixing named and positional fields.
We may want to do this after #235, as without a syntax for selecting positional fields these records will be annoying to use.