ibis-typing