Pretty print types

[turbolent]

Work towards #209

Description

Implement pretty-printing functions for all type AST nodes:

• TypeAnnotation
• NominalType
• OptionalType
• VariableSizedType
• ConstantSizedType
• DictionaryType
• FunctionType
• ReferenceType
• RestrictedType
• InstantiationType

Also, include type annotations in expressions.

---

• 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

[SupunS]

🎉

[github-actions]

Cadence Benchstat comparison

This branch with compared with the base branch onflow:master commit 64592b4
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
RuntimeFungibleTokenTransfer-2	1.31ms ± 3%	1.11ms ±17%	~	(p=0.051 n=6+7)
RuntimeResourceDictionaryValues-2	14.1ms ± 3%	14.0ms ± 2%	~	(p=0.383 n=7+7)
ParseInfix-2	23.3µs ± 2%	23.2µs ± 2%	~	(p=0.073 n=7+7)
ParseDeploy/byte_array-2	32.9ms ± 1%	32.9ms ± 3%	~	(p=0.234 n=6+7)
ParseDeploy/decode_hex-2	1.17ms ± 3%	1.16ms ± 0%	~	(p=0.534 n=7+6)
QualifiedIdentifierCreation/One_level-2	2.81ns ± 0%	2.81ns ± 0%	~	(p=0.115 n=7+7)
QualifiedIdentifierCreation/Three_levels-2	122ns ± 1%	122ns ± 1%	~	(p=0.563 n=6+6)
ContractInterfaceFungibleToken-2	39.9µs ± 2%	39.8µs ± 1%	~	(p=0.290 n=6+6)
CheckContractInterfaceFungibleTokenConformance-2	129µs ± 1%	131µs ± 5%	~	(p=1.000 n=7+7)
NewInterpreter/new_interpreter-2	964ns ± 0%	962ns ± 0%	~	(p=0.247 n=5+6)
NewInterpreter/new_sub-interpreter-2	1.89µs ± 1%	1.88µs ± 0%	~	(p=0.138 n=7+6)
InterpretRecursionFib-2	2.48ms ± 1%	2.47ms ± 2%	~	(p=0.138 n=6+7)
ParseArray-2	21.8ms ± 1%	21.6ms ± 1%	−0.73%	(p=0.017 n=7+7)
ParseFungibleToken-2	433µs ± 1%	429µs ± 1%	−0.92%	(p=0.026 n=7+7)
	alloc/op		delta
RuntimeFungibleTokenTransfer-2	238kB ± 0%	238kB ± 0%	~	(p=0.220 n=7+6)
RuntimeResourceDictionaryValues-2	4.34MB ± 0%	4.34MB ± 0%	~	(p=1.000 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%	~	(p=0.592 n=7+7)
NewInterpreter/new_interpreter-2	720B ± 0%	720B ± 0%	~	(all equal)
NewInterpreter/new_sub-interpreter-2	1.11kB ± 0%	1.11kB ± 0%	~	(all equal)
InterpretRecursionFib-2	1.24MB ± 0%	1.24MB ± 0%	~	(p=0.147 n=7+7)
	allocs/op		delta
RuntimeFungibleTokenTransfer-2	4.53k ± 0%	4.53k ± 0%	~	(p=0.066 n=7+7)
RuntimeResourceDictionaryValues-2	108k ± 0%	108k ± 0%	~	(p=0.849 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	32.0 ± 0%	32.0 ± 0%	~	(all equal)
InterpretRecursionFib-2	25.0k ± 0%	25.0k ± 0%	~	(all equal)