Added test cases from r7rs
Revised the 3.13 section