added conj / disj
added add-front, add-back
using add-front/seq-set to use seq as set