A language with eval and polymorphism