interpret pcf in scheme