refactor ContStateList to match IxContStateList
update IterConj to use new ContStateList fragment
add intensional fragment to match IxContStateList