Explore copy and update syntax

[CohenArthur]

type Record(a: int, b: int);

where foo = Record(a: 1, b: 2);
where bar = foo <- a: 15;  // Record(15, 2)
where baz = foo <- a: 16 <- b: 18; // Record(16, 18)

[CohenArthur]

type Record(a: int, b: int);

where foo = Record(a: 1, b: 2);
where bar = foo with a = 15;
where baz = foo with a = 16 with b = 18;

type Record(a: int, b: int);

where foo = Record(a: 1, b: 2);
where bar = foo with a: 15;
where baz = foo with a: 16 with b: 18;