Added r7rs symbols