[Grace-core] Ecstasy - another post-java language...

[kjx]

https://xtclang.blogspot.com/2016/11/welcome-to-ecstasy-language-first.html
http://lambda-the-ultimate.org/node/5577

Their equality stuff looks.. interesting, they seem to be doing some stuff with multiple dispatch and retaining static types to runtime.

https://xtclang.blogspot.com/2019/06/the-quest-for-equality.html

It's "symmetric" for sure (relying I think on a closed world assumption)
but I'm not entirely sure it's "obvious" or "correct"

James