Initial implementation of YCombinator
Rename functions in YCombinator
Simplified Y combinator
Added factorial test using the Y combinator