Struct literal syntax allows repeated fields

[catamorphism]

Right now, you can write:

T { foo: 1, foo: 2 }

if T is a struct with a foo field. (I haven't checked if this is only accepted if T has exactly two fields, but it's definitely accepted if so.) The typechecker should reject this because it duplicates a field.