Changing several layers and instructions names, mainly shortening interface to itf.
Fixing the isHolding method, for an effective protection of the holded threads from being run by a wait instruction.