Support set-field! in Typed Racket