По поводу примеров где имеет смысл вложенность кортеже.

Причины:
1. Стройность и логичность. Кортежи являются первокласными сущностями, а стало быть нелогично, что их нельзя вкладывать друг в друга.
2. Кортежи в Немерле используются не только для описания собственно кортежей. По совместительству они же используются для описания списка параметров функций. Более того кортеж совместимый по типу с параметрами метода может быть передан в этот метод без распаковки. Это свойство используется в макросах для формирования аргументов функций с переменным числом аргументов. Например, приведенный ниже код совершенно корретктен:

def x = ("{0} = {1}", 1, 2.2);
WtiteLine(x);

Ну, а методы сами по себе могут содержать кортежи в списке параметров.