Enhanced redundancy terms implied into the contract of employment