Remove old typechecker.