Remove the old type-checker code.