Reorganize analysis error types.
Typify stages of a SMPL code module.
VM takes in a VmModule instead of raw AST Module

ModuleIds are generated outside of semantic analysis for easier external reference