ynamic variables and expressions Binds to extension methods Binds/invokes overloaded operators Constructs delegate objects Infers types when calling generic methods, declaring a local variable, and using a lambda expression Defines/constructs closure classes for lambda expressions and iterators Defines/constructs/initializes anonymous types and instances of them Rewrites code to support Language I