Running programs

After you have parsed and type-checked a program.