Demystifying DSLs for better analysis and understanding

Type Checking