Use Church encoding
Add pure, Foldable loops