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

C>1. Интероперабельность с остальным кодом на C#.

А как насчёт интероперабельности решения на C++ с остальным кодом на Си?

Всё-таки Nemerle — это не C#, это совсем другой язык.

C>2. Куда будет записываться информация о размерности типа?

В код — куда же ещё?