stepping shouldn't have a Delta in statement of complete progress

[cyrus-]

hazelnut-dynamics-agda/complete-progress.agda

Line 11 in 32b1203

S : ∀{d Δ} → Σ[ d' ∈ dhexp ] (Δ ⊢ d ↦ d') → ok d Δ