first version of formula dsl
rewrite formula DSL with Parsec Expr, Verirahat not working
removed random "+5"
fix grammar documentation codeblock