Unify factorial examples and remove memoize example.