change parser

[francescofuggitti]

For several reasons, I'd like to change the parser library from ply to lark-parser.

Steps:

• introduce lark-parser dependency
• introduce lark grammars
• introduce formulas classes