Implement eta-expansion. #31 almost done
Update tests. TopLevelPatterns still fails