What is Flare? Is it Ada 2.0?

General
1

I took a look at the ada spark RFC repo recently and there is a RFC for a new language called Flare, but it doesn’t really explain what it is like at all:

https://github.com/AdaCore/ada-spark-rfcs/blob/f6768e7f8aa13b203f714e397d8393c5679199ae/features/rfc-flare.md

2

It reads almost like an attempt at another SPARK, but I’m curious to hear more for sure.