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

_C_>Таких мест действительно много? почему не одно?

Все ссылки на типы. Т.е. если видишь x : y, то на месте y разбирается выражение. Там есть некоторые детали. Например, есть так называемые ключевые слова стоперы. Но в целом это так.