Basic verification expected specializations of `dynamic_x_step_type` and `dynamic_y_step_type` are in place.