If a character is tagged with light smile but has one eye closed, the tag ;) would end up also adding the smile implying that the same character can't have both a light smile and one eye closed.

Should the implication of ;) and smile be removed?

I dunno, the winky face sorta implies the smile is obvious, which light_smile is not.