Add eta conversion
Merge pull request #10 from knuton/eta_red

Add η-conversion