User blog comment:Tetramur/The new formalization of BEAF/@comment-35470197-20200222073359/@comment-37993808-20200222080559

So, I made the definition of all valid expressions using recursion and basic functions.