RT DW A1 Geisler, Dietrich. T1 Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming