Shmi comments on A Viable Alternative to Typing