It's not so much syntax as semantics here. And programming languages are often described and implemented with rather vaguer ideas than fully formally specified

It's not so much syntax as semantics here. And programming languages are often described and implemented with rather vaguer ideas than fully formally specified semantics. (Even Haskell doesn't have fully formalised semantics.)