So the Sabbath rest typifies the eternal rest that is to come. That's what he is saying. There remains therefore a Sabbath, a Sabbath rest for the people of God. So there is still a typical signification represented in Lord's day worship that points us forward to that eternal rest that is to come. GK Beal makes the observation if the esqueological that means the end times reality of final Sabbath rest has not considently come and it hasn't because we're not in the eternal state. He says then it is unlikely that the typological sign pointing to that ultimate rest has ceased. Other words, if it function in the old covenant to point us forward, how come it doesn't function in the new covenant to point us forward? It truly is the market day of the soul. He goes on to say that is if the weekly Sabbath included the function of pointing forward to consumate rest and that rest has not yet come then that weekly Sabbath should continue. That's called good logic.
