Add Permit type like Semaphore

[geny200]

Hi, I noticed a disadvantage in tofu that there is no semaphore primitive, but there are concurrent primitives for atomic variables. To avoid creating semaphore based on Agen/QVar/Atom, I suggest to add a new primitive Permit, which will use native implementation of the semaphore, depending on the effects.