Added example type checker for let-polymorphism.