Update std primitives

[JSAbrahams]

Summary

• Allow primitives to take union of types.
• Simplify equality for Expect.
• At function call sites, arguments may only be or be child of argument type.

Added Tests

Happy

• input std function present.
• all possible inputs for primitives.
• Function call with child of class.

Sad

• Function call with super of an argument type.

[JSAbrahams]

Doesn't appear to work, when we have:

def aa := Complex(10, 20)

We get:

Error: Unifying two types: Expected a {Int, Float}, was a {String, Float, Int}
   1 | def aa := Complex(10, 20)
                         ^^

We get similar errors when testing the other constructors of primitives. Probably because the type super is the wrong way round for call generation.

[codecov[bot]]

Codecov Report

Merging #393 (1ce16b5) into v-0-3-5 (77d5b86) will increase coverage by 0.39%. The diff coverage is 100.00%.

@@             Coverage Diff             @@
##           v-0-3-5     #393      +/-   ##
===========================================
+ Coverage    87.07%   87.46%   +0.39%     
===========================================
  Files          109      109              
  Lines        12005    12037      +32     
===========================================
+ Hits         10453    10528      +75     
+ Misses        1552     1509      -43     

Impacted Files	Coverage Δ
src/check/constrain/constraint/expected.rs	89.71% <100.00%> (+2.80%)	:arrow_up:
src/check/constrain/generate/call.rs	87.89% <100.00%> (ø)
src/check/constrain/generate/definition.rs	90.56% <100.00%> (+0.12%)	:arrow_up:
src/check/context/mod.rs	96.69% <100.00%> (+0.77%)	:arrow_up:
src/check/constrain/generate/env.rs	93.00% <0.00%> (+0.29%)	:arrow_up:
src/check/constrain/generate/statement.rs	85.10% <0.00%> (+1.01%)	:arrow_up:
tests/common.rs	38.46% <0.00%> (+1.92%)	:arrow_up:
src/check/context/clss/mod.rs	88.65% <0.00%> (+2.12%)	:arrow_up:
src/parse/ast/node.rs	84.02% <0.00%> (+3.13%)	:arrow_up:
... and 2 more