Expand ex2_06.scm; add plus, plus-alt, and church-encode