The term shall also not include an employee of a public authority, board, commission, corporation, or other agency or instrumentality of the State allocated in but not of a principal department of State government pursuant to Article V, Section IV, paragraph 1 of the New Jersey Constitution authorized to participate in the Public Employees' Retirement System under section 73 of P.L. 1954, c. 84 (