User blog comment:Fluoroantimonic Acid/(C) FGH up to phi(w,0)/@comment-5529393-20150812175134/@comment-26428969-20150812190659

First one: fixed!

Second one: fixed

Third one: fixed

4th: fixed

5th: now ω = {NULL,1,0} and ω[m] => {NULL,0,m}. It also do like if n[m]=n for "finite" n, but the program handle that (all "finites" ORDs fall under ord_is_zero or ord_is_successor)

6th: sorry, that was from an older version that worked a different way :V I remplaced them with 2's

7th: I know, but I don't know what to do: in {p,k,n}, n must be an "int" ;-; do you have an idea to solve that?