Added record constructor that updates a given record expression