feat(lean): add support for base expression of structs

[clementblaudeau]

Rust structures can be defined by extending a "base" struct:

let _ = S { f1: 0, ..s1 };

This directly corresponds to the lean structure update syntax:

let _ = {s1 with f1 := 0 }

Closes #1637

[keks]

Nice, looks good!