Add records, lists and indices to Pure modules

Module format v4 declares record types and adds list states (items of a
record) and index states (a position in one list). The verifier types
record operands field by field and rejects an index used on another list.
Indices follow their item across inserts and removes. List changes are
logged per event and undone when the event fails. Replacing a module keeps
a list by name and moves its fields by name when the record changed.

pure-run prints lists as arrays and a failed view as null.

0 files changed, 0 insertions, 0 deletions