class_type DictValue => { class => 'DX::Value::Dict' };
-declare AdjustmentList => as ArrayRef[Tuple[Step, Hypothesis]];
+declare AdjustmentList => as ArrayRef[Tuple[Step, SearchState]];
declare DependencyType => where {
foreach my $cand (EXISTENCE_OF, TYPE_OF, INDICES_OF, CONTENTS_OF) {