2014 church numeral
fix 2014 example (was 1014)
fix dumping of nested abstraction being applied