> They can be semantic and in practice are used semantically, especially in nominal type systems. It depends on the programming language how much they enforce t

> They can be semantic and in practice are used semantically, especially in nominal type systems. It depends on the programming language how much they enforce though, but even if you don't enforce anything names carry meaning [...] But grammar productions are also named and grammars are also designed to capture semantic notions. The syntax is after all intended to convey meaning.