Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming