Formula

Small fixes & Add Solver class to the formula module.
Solver class is a wrapper on Formula class. This allows us to write code in the most intuitive and simple way. So we just encapsulate the "low level" C++ methods.