Update 7_church_encoding/README.md