Added the Problem class.
Added OperatorType.None
Added the RootLambda  FormulaNode class
Added the Server class
Updated project and solution
Added the SolveBonusProblem procedure

* Added the missing shr4 operator.