with 'DX::Role::Step';
-has was_recheck_for => (is => 'ro', required => 1);
+has was_recheck_for => (is => 'ro', isa => Proposition, required => 1);
-has resume_search_state => (is => 'ro', required => 1);
+has resume_search_state => (is => 'ro', isa => SearchState, required => 1);
sub apply_to {
my ($self, $ss) = @_;