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

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

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

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