fix highlight utility
add basic set operation utilities