Review MR3029090 of Stump, Aaron; Zantema, Hans; Kimmell, Garrin; El Haj Omar, Ruba. A rewriting view of simple typing. Log. Methods Comput. Sci. 9 (2013), no. 1, pp. 1:04.