Yŏ, Yŏn (Writer on tales of Cheju)