A Constraint-Based, Functional, Dependently-typed 3D Modeling Platform.