ivory lang: remove deprecated