Parsing formulas

Parsing simple formulas using active patterns