ADD: Atoms now can be resolved with Formulas.

If the formula is with zero arguments and the names unify, the atom can be resolved with the Formula and execute its function.