filled out some of compile which of course matt made easy, just trying to understand all church encoding code