encoder: add HashSet encoder