CloudFormation is not a language, it is a collection of cloud infrastructure

This tweet is likely referring to the fact that you can place special constructs in the YAML/JSON files to add control flow, thereby making it a crude templating language.

Microsoft has Project Verona

Microsoft has C#, F# and Visual Basic that are rather more significant than Project Verona.

True but I was thinking more in the systems programming context

Ah, I don't think Go, Swift or Hack (from the tweet you are replying to) really apply to systems programming contexts any more than C# does.

I was hoping for a real exam...