#529)

* Add checker conformance tests for type parameter deduction for type(t)

* Add test cases involving comprehensions' empty ranges

* Add empty range nested comprehension equality

* Add nested comprehension test case for producing boolean map

* Add conformance tests around type decaying

* Add more tests

* Fix free param list decay test case, add order independent test

* Update spec around type-checking behavior of type(T)

- update accidentally repeated test in dynamic.textproto
- give unique names to tests for strings charAt
- run everything through txtpbfmt

)

* Expect an error for IPv4-mapped IPv6 equality in network_ext tests

* Address review: rename the mapped case, test real cross-family inequality

Signed-off-by: doxxx93 <[email protected]>

---------

Signed-off-by: doxxx93 <[email protected]>

…cuit (#532)

Remove deprecated strong enum sections and unbound function short-circuit test

)

* Add conformance tests for NaN and -0.0 comparisons

* Correct documentation regarding NaN handlings