Introduce a checked-program boundary across the compiler - #70

Introduce a checked-program boundary across the compiler#70

izaak wants to merge 2 commits into

audulus:mainaudulus/lyte:mainfrom

izaak:refactor/checked-program-prizaak/lyte:refactor/checked-program-prCopy head branch name to clipboard