If statements work

I added a simple factorial program to demonstrate bounded recursion with if statements.