Ну чёт я б не сказал, что «вообще везде». В аргументах методов я вывода не вижу, автоматического вывода для генериков не вижу (т.е. тебе приходится писать new List[of MenuItem]() вместо new List().
«Вообще везде» это как в Haskell, по-моему. А, судя по твоему коду на Boo, там просто добавили возможность не писать типы для полей. Это классно, конечно, и лучше чем в C#, но далеко не «вывод вообще везде».
Не только. Функциям можно не писать возвращаемый тип, равно как и свойствам. Невозможность человечкого выведения типа для аргументов - это уже особенности CLR, ибо перегрузка и все такое.
Для генериков, кстати, вывод есть. См код ф-ии either, где как раз идет выведение типа аргументов, ибо дженерик.