first version of formula dsl
rewrite formula DSL with Parsec Expr, Verirahat not working