Listing Agda and Idris 2 under CIC makes your lambda hierarchy diagram misleading at best.