calculator specs + refactoring + fixed factorial specs typos