К системе типов языков семейства Рефал для промежуточного представления программдоклад на конференции