A Viable Alternative to Typing — LessWrong