3D Software Synthesis Guided by Constraint-Expressive Intermediate Representation