I would not say that Shplait is on the direct path to a Typed Rhombus. It's an experiment that could inform a future Typed Rhombus in the way that type constraints are gathered for a finishing unification pass. Otherwise, though, it's a domain-specific language that's intentionally limited.
Typed Rhombus is definitely of interest, but I don't know of a specific plan to get there, as yet.