The fundamental problem is that there isn’t a good enough open source parametric kernel. FreeCAD uses OpenCascade which is the best available, but quite dated, FreeCAD is pushing it to its limits.
Edit, found this article with a little explanation: http://mikeestee.com/2012/03/open-source-parametric-cad/
I wonder if there is currently a concentrated open-source effort in this direction, like a greenfield project for today's needs (including capabilities toward design optimization, subtractive and additive manufacturing, while addressing any shortcomings in OpenCascade).
I don’t really see a need to focus on subtractive and additive manufacturing in the kernel, although some hints in the UI for a particular program would be useful. Analysis and optimization predates 3D cad, in a way so it would be interesting to see what could be done from scratch.