(let ((type point (record (x int) (y int)))
      (type triangle (record (ia point) (sh point) (u point)))
      (type trace (array point))
      (type street (record (thetrace trace) (name string)))
      (var ourstreet street (new street)))
  (:= (dot ourstreet name) "ridge"))