update r7rs