add gitignore file
use church encoding to test curry macro