Added SolutionFinder and cleaned up examples of use in the worksheet. Added formatter for NumberResult