simons paper on eval/apply