Embedded Languages for Origami-Based Geometry