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!