TC: Attach type information to nodes

[kontheocharis]

This PR adds a store NodeInfoStore which maps AstNodeIds to TermIds and PatIds. It is a necessary step for implementing mono/lowering to IR, as well as any post-TC semantic stages.

Closes #240.

[feds01]

Why have a bunch of the test cases changed?

[feds01]

Also, the entries that map AstNodeId need to be added when traversing.

And, the tc state needs to be somehow externally accessible, which means all the tc data structures need to be public or in their own crate?

[kontheocharis]

And, the tc state needs to be somehow externally accessible, which means all the tc data structures need to be public or in their own crate?

@feds01 Yeah, I guess that is the next step once these entries will actually be used. However, I think that whichever crate needs them should probably just depend on TC. So they could just stay where they are in global storage for now..

[feds01]

Since the hash-lowering crate is dependent on all of this information, I guess this will mean it is dependent on GlobalStorage? Which means it has to be exposed to the lowering stage and to the pipeline.

[kontheocharis]

Yeah lowering should definitely depend on TC, because that is the utility it uses to actually know what to lower it to... I guess we can split TC impl from TC primitives into different crates but that might not bring so many advantages.