And yet, the 'intolerance' that you're so intolerant of goes without citation, without explanation, without discussion. Strikes me as blatant McCarthyism.
Perhaps my account is anonymous because the comment should stand on its own? The discussion surrounding this issue shouldn't require personal reputation. The facts should be sufficient.
McCarthyism was intolerance, not an intolerance of intolerance. It's ironic to have to explain simple type theory here.
Or maybe not.