Update ChurchEncoding.scala