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.