verify notices type mismatches (for containers internal types are not checked yet.)