It is not clear to me what is the language used.
It seems to be a "M" language, parsed and transformed in some Python executable [0]. Anybody has more info on this topic? Why such a choice?
Yes, the M language is used for the rules and calculations, though you have many other applications in python. This presentation[0] gives more info about why. TL;DR it started in the '80s.