ChurchEncoding Code for the Church encoding article series, as well as the Visitor as a sum type article.