Generics, Virtuals, Delegates & Lambdas

• Support matrix for generics specialization and constraints
• Virtual dispatch: devirtualization opportunities and limits
• Delegates and lambdas: capturing rules and performance notes
• Patterns to keep kernels analyzable and optimizable