Shmi comments on Tiling agents with transfinite parametric polymorphism