ifthenelse, locals, recursion
Binops + Return -> recursive factorial works!