Support for function application, and simple let in. Not dealing with polymorphism yet.