rename subseteq to subset in smtlib, all kinds and smt operator names are now consistent
make emptyset construction with no arguments private
mv default care graph function inside the theory implementation
cosmetic
fix sets eager lemmas
sets api example