## Код:
```
IF IsStaticArray(leftType) & IsStatiсOrMathArray(rightType) THEN … END
```

ой. какой же чудесный механизм — именованые предикаты! и переделывать язык не надо, и переделывать код не надо, и сразу же понятно, что проверяется в условии.