Implement module system and program flattening#337

LesterEvSe wants to merge 1 commit into

masterBlockstreamResearch/SimplicityHL:masterfrom

dev/modulesBlockstreamResearch/SimplicityHL:dev/modulesCopy head branch name to clipboard