Choreographies as Macros. - Alexander Bohosian; Andrew K. Hirsch (PLACES@ETAPS, 2025)