Type checker for arrays and structs.