semantic: Simpler array inheritance typing.'