Здравствуйте, WolfHound, Вы писали:

WH>В Nitra есть.
WH>

WH>namespace Ns
WH>{
WH>  using TypeAlias;// загрузили синтаксис для type 
WH>  type X = A.B;
WH>}
WH>type X = A.B;//А тут уже нельзя.
WH>

В Nemerle тоже самое есть. Найтра, правда, позволит нам сделать такие юсинги в любом месте, а не только в пространствах имен. Но это уже детали.