Check that the type of programs are well scoped#150

ajreynol wants to merge 2 commits intomaincvc5/ethos:mainfrom

progWellScopecvc5/ethos:progWellScopeCopy head branch name to clipboard