An interpreter for the PCF language.