Some more r7rs docs