Further developement on formulas

- ToString added
- Converted Variable and Literal into Formula
- Corrected an invalid constructor