now almost all arrays and dictionaries type-check quickly