Start implementing "algorithm W".

Working so far:
- (\x . x)
- (\x . \y . x)