Implementation of "A Lineage-Based Referencing DSL for Computer-Aided Design", PLDI 2023 - View it on GitHub