Verify some Name functionality

[JSAbrahams]

Summary

Add extra tests to test low hanging fruit of Name and AST. A lot of the type checker builds on these so best to test some extra edge cases which are not covered in any of the end-to-end tests we have currently. A lot of these end-to-end tests cover only basic language functionality, but not a lot of type unions etc.

Added Tests

• Identifier from id, expression type, and tuple
• Matching tuple identifier with type
• Matching identifier with tuple type
• Equality of tuples for AST Node

[codecov[bot]]

Codecov Report

Merging #243 (ecd0ae8) into v0-3-1 (629ab6b) will increase coverage by 1.04%. The diff coverage is 84.09%.

@@            Coverage Diff             @@
##           v0-3-1     #243      +/-   ##
==========================================
+ Coverage   79.88%   80.92%   +1.04%     
==========================================
  Files          99       99              
  Lines        8731     8940     +209     
==========================================
+ Hits         6975     7235     +260     
+ Misses       1756     1705      -51     

Impacted Files	Coverage Δ
src/parse/ast/node.rs	27.35% <34.72%> (+2.21%)	:arrow_up:
src/check/constrain/constraint/expected.rs	68.42% <50.00%> (ø)
src/check/constrain/constraint/builder.rs	98.03% <100.00%> (ø)
src/check/constrain/unify/expression/substitute.rs	100.00% <100.00%> (ø)
src/check/ident.rs	96.77% <100.00%> (+30.10%)	:arrow_up:
src/check/name/mod.rs	88.46% <100.00%> (+16.27%)	:arrow_up:
src/parse/ast/mod.rs	67.43% <100.00%> (+7.65%)	:arrow_up:
src/check/name/truename/mod.rs	82.81% <0.00%> (+1.56%)	:arrow_up:
... and 2 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 629ab6b...ecd0ae8. Read the comment docs.