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