Adds R7RS.