Do you mean these definition are not needed anymore? (I haven't checked)
Thanks!