Add {is,has}StateType predicates.