この資料をSMS送信: A Lightweight Approach to Datatype−generic Rewriting