[Dok Melody Scratchpad Notes]

feature/abstract-interpretation

Before applying macro and other compilation passages, an abstract-compilation passage is done.