Nemerle выведение типов

Код на c#
using System.Console;
using System.Collections.Generic;
Dictionary d = new Dictionary();
d.Add ("Ala", 7);


Аналогичный код на NEMERLE

def d = Dictionary ();//компилятор откладывает определение типа до первого использования
d.Add ("Ala", 7);// все тут уже задан тип Dictionary() ;
d.Add (1, 7);//тут в компиле тайм будет исключение как и полагается