Nah. Syntax is trivial and irrelevant for teaching CS theory.
Do you think spelling is trivial and irrelevant in a foreign language class?
Would you say the same thing for teaching math or music?
Lambda calculus?!
Do you think spelling is trivial and irrelevant in a foreign language class?