kvd comments on A Viable Alternative to Typing