Hey. I'm glad that this is what you are looking for. At the moment there isn't constraint based modeling. However given that you have a programming language at your disposal you can model your constraints yourself.
Would you accept a PR for first-class support for specifying constraints between variables (and object measurements) as part of the language or would that be divergent with the goals of the language? I find it to be an important part of SolidWorks etc. because often times I'm trying to build something where I know one of the dimensions is constrained a certain way but that's not how I'd parameterize the object. And I don't want to be doing math for e.g. calculating the diagonal over and over again as part of calculating parameter values or modeling constraints, I like that in Solidworks that's part of the package. I believe this issue is important to other mechanical engineers as well.
However I do want to say, great work, I think a programming language is a great step forward for CAD regardless, and this project seems to be pretty well done!
For sure I would accept a PR! One of the goals I have here is to try and make it approachable to expand for others. If you have an idea on how to make this work please feel free to work on it.
To save time up front I would suggest doing a bit of design work. Feel free to make an issue and post things like example code snippets of how you would like to see this work. We can work together to make this feature a reality.