max-lang-macro
data structures and algorithms for pro! intermediate representation