(a) any bonus;

(b) any contribution paid or payable by the employer to any pension fund or provident fund or for the benefit of the workman under any law for the time being in force;

(c) any gratuity payable on the termination of his service;]

(s) 5[ " workman" means any person (including an apprentice) employed in any industry to do any manual, unskilled, skilled, technical, operational, clerical or supervisory work for hire or reward, whether the terms of employment be express or implied, and for the purposes of any proceeding under this Act in relation to an industrial dispute, includes any such person who has been dismissed, discharged or retrenched in connection with, or as a consequence of, that dispute, or whose dismissal, dischasrge or retrenchment has led to that dispute, but does not include any such person--