A number of popular CAD systems use the D-Cubed 2D sketch constraint solver [0]. Siemens owns this and the Parasolid kernel, along with NX. All have been in constant development since the 80's. I really question what major new problems a startup is going to fix in 2D sketching constraints. I'm sure there a bunch of small quality of life things which may be out there, but most of the hard issues are more 3D or spline related, not finding things which could be tangent or equal.
Probably the biggest paradigm shift with constraints that still hasn't really taken off is what Siemens is doing with SolidEdge. It allows for defining the 3D equivalent of constraints between surfaces, holes, edges, etc. and then using direct modeling techniques to modify solids. Perhaps adding more intelligence to that approach would make direct modeling more popular.
Onshape has innovated in the way that it's brought Google Docs-like collaboration and GITHub like versioning, branching and merging to parametric CAD. Nothing else has these capabilities at the moment. To me that has been one of the most innovative changes in the mechanical CAD industry.
Onshape also has FeatureScript, which is the programming language which describes all the parametric features. Right now, none of the LLMs know FeatureScript well enough to be the least bit useful. They hallucinate wildly. I'd be very happy to have a Copilot for FeatureScript.
[0] https://plm.sw.siemens.com/en-US/plm-components/d-cubed/