add immutability information to symbols
check the type of elements of array and dictionary