Formula Solver: Documentation

First steps