many-sorted signature

Многосортная сигнатура