Add interpreter for PCF