First-order logic formulas and parser

This module was extracted from https://github.com/FMFI-UK-1-AIN-412/tableauEditor.

Generating documentation command

elm-make --docs=documentation.json

Command for formating (example)

elm-format tests/TestFormula.elm