Есть ли где-то описанные общие принципы вывода типов в Nemerle?
В каких ситуациях (сигнатуры функций) тип выводится нормально, а когда типы лучше сразу описывать (помню, что раньше возникали косяки со списками)?
Как разбирать сообщения об ошибках типизации? Что значат эти + и — в сообщениях об ошибках?

А то вложенные функции часто хочется сначала написать без типов — но потом приходится последовательно вписывать уточнения сигнатур, пока код не начнёт компилироваться.