[shestakov]

Проблема решилась(т.е. теперь пишется, что переменная имеет класс integer и все работает). Но вот решил я ее очень странно - просто долго менял туда-сюда местами строки в ClassDeclaration. В итоге раз на 10-й все заработало...