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