Added some of the components need to implement factorial, which is going to be my test case for a Y-Combinator

Signed-off-by: Martin Evans <martindevans@gmail.com>