get normal form for: fact(s(s(s(s(s(0))))))