Синтаксис функторного языка