store normalized expressions for the arrays' size in the TypSize cache, so that we don't end up in an endless recursion when checking
for equality in the hashtbl operations of the cache.