Support recursive supertype inferring for containers

[SupunS]

Closes #1225

Description

This PR add $subject for arrays and dictionaries.

---

• Targeted PR against master branch
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work
• Code follows the standards mentioned here
• Updated relevant documentation
• Re-reviewed Files changed in the Github PR explorer
• Added appropriate labels

[codecov-commenter]

Codecov Report

Merging #1319 (c650dbc) into master (51cac40) will decrease coverage by 1.84%.
The diff coverage is 81.81%.

@@            Coverage Diff             @@
##           master    #1319      +/-   ##
==========================================
- Coverage   77.43%   75.58%   -1.85%     
==========================================
  Files         279      279              
  Lines       36174    37869    +1695     
==========================================
+ Hits        28010    28622     +612     
- Misses       7071     7964     +893     
- Partials     1093     1283     +190     

Flag	Coverage Δ
unittests	75.58% <81.81%> (-1.85%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
runtime/sema/type_tags.go	91.74% <81.81%> (-3.77%)	⬇️
runtime/sema/ranges.go	80.95% <0.00%> (-19.05%)	⬇️
runtime/interpreter/value.go	68.95% <0.00%> (-11.32%)	⬇️
runtime/sema/member_accesses.go	44.00% <0.00%> (-11.00%)	⬇️
runtime/sema/occurrences.go	72.41% <0.00%> (-9.59%)	⬇️
runtime/sema/function_invocations.go	65.00% <0.00%> (-7.23%)	⬇️
runtime/interpreter/errors.go	22.13% <0.00%> (-2.03%)	⬇️
runtime/sema/variable_activations.go	93.38% <0.00%> (-1.57%)	⬇️
runtime/sema/checker.go	89.08% <0.00%> (-0.57%)	⬇️
... and 1 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 51cac40...c650dbc. Read the comment docs.

[github-actions]

Cadence Benchstat comparison

This branch with compared with the base branch onflow:master commit 834f5f1
The command for i in {1..N}; do go test ./... -run=XXX -bench=. -shuffle=on; done was used.
Bench tests were run a total of 7 times on each branch.

Results

	old.txt	new.txt
	time/op		delta
QualifiedIdentifierCreation/One_level-2	2.85ns ± 6%	3.00ns ± 4%	+5.16%	(p=0.026 n=7+7)
RuntimeResourceDictionaryValues-2	14.8ms ± 7%	15.4ms ± 6%	~	(p=0.165 n=7+7)
RuntimeFungibleTokenTransfer-2	1.16ms ±25%	1.23ms ±23%	~	(p=0.165 n=7+7)
ParseInfix-2	22.7µs ± 8%	23.4µs ± 5%	~	(p=0.165 n=7+7)
ParseArray-2	21.3ms ± 8%	21.9ms ± 5%	~	(p=0.318 n=7+7)
ParseDeploy/byte_array-2	32.0ms ± 6%	33.8ms ± 3%	~	(p=0.073 n=7+6)
ParseDeploy/decode_hex-2	1.27ms ± 9%	1.33ms ± 1%	~	(p=0.097 n=7+7)
ParseFungibleToken-2	429µs ± 7%	444µs ± 3%	~	(p=0.209 n=7+7)
QualifiedIdentifierCreation/Three_levels-2	149ns ± 6%	152ns ± 2%	~	(p=0.731 n=7+6)
ContractInterfaceFungibleToken-2	43.0µs ±13%	44.6µs ± 6%	~	(p=0.165 n=7+7)
CheckContractInterfaceFungibleTokenConformance-2	140µs ± 7%	145µs ± 4%	~	(p=0.710 n=7+7)
NewInterpreter/new_interpreter-2	1.06µs ± 6%	1.11µs ± 2%	~	(p=0.710 n=7+7)
NewInterpreter/new_sub-interpreter-2	2.14µs ± 7%	2.21µs ± 3%	~	(p=0.421 n=7+6)
InterpretRecursionFib-2	2.43ms ± 5%	2.52ms ± 3%	~	(p=0.073 n=7+7)
	alloc/op		delta
RuntimeResourceDictionaryValues-2	4.04MB ± 0%	4.04MB ± 0%	~	(p=0.456 n=7+7)
RuntimeFungibleTokenTransfer-2	238kB ± 0%	238kB ± 0%	~	(p=0.776 n=7+7)
QualifiedIdentifierCreation/One_level-2	0.00B	0.00B	~	(all equal)
QualifiedIdentifierCreation/Three_levels-2	64.0B ± 0%	64.0B ± 0%	~	(all equal)
ContractInterfaceFungibleToken-2	26.5kB ± 0%	26.5kB ± 0%	~	(all equal)
CheckContractInterfaceFungibleTokenConformance-2	65.7kB ± 0%	65.7kB ± 0%	~	(all equal)
NewInterpreter/new_interpreter-2	720B ± 0%	720B ± 0%	~	(all equal)
NewInterpreter/new_sub-interpreter-2	1.18kB ± 0%	1.18kB ± 0%	~	(all equal)
InterpretRecursionFib-2	1.24MB ± 0%	1.24MB ± 0%	~	(all equal)
	allocs/op		delta
RuntimeResourceDictionaryValues-2	102k ± 0%	102k ± 0%	~	(p=0.464 n=7+7)
RuntimeFungibleTokenTransfer-2	4.54k ± 0%	4.54k ± 0%	~	(p=1.000 n=7+7)
QualifiedIdentifierCreation/One_level-2	0.00	0.00	~	(all equal)
QualifiedIdentifierCreation/Three_levels-2	2.00 ± 0%	2.00 ± 0%	~	(all equal)
ContractInterfaceFungibleToken-2	457 ± 0%	457 ± 0%	~	(all equal)
CheckContractInterfaceFungibleTokenConformance-2	1.07k ± 0%	1.07k ± 0%	~	(all equal)
NewInterpreter/new_interpreter-2	11.0 ± 0%	11.0 ± 0%	~	(all equal)
NewInterpreter/new_sub-interpreter-2	36.0 ± 0%	36.0 ± 0%	~	(all equal)
InterpretRecursionFib-2	25.0k ± 0%	25.0k ± 0%	~	(all equal)

[dsainati1]

This is exciting! Thanks for following up on this!

[turbolent]

Very nice! 👏

[turbolent]

👍