Second revolution

This revolution was started "on purpose" but turned out to be more important that what I estimated.

A lot of stuffs were finally added, even the entity "subset" allowing to say :

set(N :- N) F

aka : F is a subset of the set that apply any natural number to a natural number : in short, F is a function from N to N.

Will also come some formulations like "n Stuff ; N n" : "n" stuff (if n is a natural and "Stuff" a set of stuffs), like "5 Q" is a set containing five numbers, equivalent to { Q a, Q b, Q c, Q d, Q e }

I had to make a lot of theory and my lazzyness to "try and correct if it doesn"t work" was hardly punished and everything has an happy end.

I would estimate to one or two weeks to have an operational version of this revolution.