Statistics for A Type System With Containers