tests, NIL, T added
recursion working, factorial