Fixed church zero def, now we can do church arithmetics... almost