updated the grammar to include the RecordUpdate expr
fixed the jkind-common code associated with adding RecordUpdateExpr
added RecordUpdateExprs to the language and added the right support
fixed a small bug in the RecordUpdates
checking in the RecordUpdateExpr rewriting to RecordExprs