[r=Rocky] Carl composite lit check

Type checks for arrays, slices and structs