Added a simple form of let-polymorphism.