Fixed the Factorial.foldl' definition for pairs.
Added the Stateful data type.