Basic update function for misc/records.
(s a v r) ``modifies'' the record r by installing the value v at address a. This produces a new record.
This is essentially similar to a function like acons for alists, but its careful definition supports the lemmas described in misc/records.
