progressive match search typechecks