Slides for Type checking your DSLs & Integrating Groovy