style(library/standard): rename theorems in nat, move int4 to int

Remove int,int2,int3 and move int4 to int. Rename many theorem and definition names, mostly in nat.