fix broken proof of op_apply in repl translation

apparently the type of op_CASE changed