bug fix: setting a new supertag in taxonomy did not remove the old super tag.