Enforcing Type Distinction — LessWrong