Added a derivation of the y-combinator in ycomb.scm. Minor formatting changes to sicp-1.3.scm