Consider alternatives to `List` for repeated fields
It's not entirely clear whether this is the best choice; in some cases, we want an indexed sequence. Also, when building, there are cases where this is inefficient (see for instance MessageCodec
implementation for lists).
Also maybe worth considering different types for packed/unpacked fields.