pub fn compile_program(
    program: &TyProgram,
    include_tests: bool,
    type_engine: &TypeEngine
) -> Result<Context, CompileError>