FormulaSolver: New Functions, Update ArgumentChecker

ArgumentChecker: More general argument number range checker
New functions: Factorial, Modulo (%)