Гетеротипичный синоним