updated r6rs-sofa docs