pub fn check_program(program: &Program) -> Result<(), Diagnostic>
Run the semantic checks over every file in a loaded Program.
Program