Fix union annotations; rework/comment big5 and encoder loop