Evaluates expr, and then changes the definition id to have expr’s value. The id must be defined or bound by letrec, let, or let*.