add LIST_TO_SET_THM to the list compset
add some things to the option compset

OPTION_BIND, OPTION_GUARD, OPTION_IGNORE_BIND, OPTION_CHOICE