Isn't this just saying the exact same thing as the original article but with pedantic word games? A type checker includes a parser, a lexer, a syntax tree buil

Isn't this just saying the exact same thing as the original article but with pedantic word games? A type checker includes a parser, a lexer, a syntax tree builder and the type checking itself is the specific grammar the author is looking for. Am I missing something?