feat: implements number type inferencing

[baszalmstra]

Implements type inferencing of number types.

Closes #118

[codecov]

Codecov Report

Merging #154 into master will increase coverage by 0.47%.
The diff coverage is 78.77%.

@@            Coverage Diff             @@
##           master     #154      +/-   ##
==========================================
+ Coverage   82.26%   82.74%   +0.47%     
==========================================
  Files         160      162       +2     
  Lines       11034    11137     +103     
==========================================
+ Hits         9077     9215     +138     
+ Misses       1957     1922      -35     

Impacted Files	Coverage Δ
crates/mun/src/main.rs	0.00% <0.00%> (ø)
crates/mun_hir/src/ty/infer.rs	71.59% <67.08%> (-2.09%)	⬇️
crates/mun_runtime/src/lib.rs	71.87% <71.42%> (ø)
crates/mun_hir/src/ty.rs	88.46% <75.00%> (-2.13%)	⬇️
crates/mun_hir/src/ty/op.rs	82.05% <75.00%> (-0.81%)	⬇️
crates/mun_hir/src/ty/infer/type_variable.rs	84.07% <88.75%> (+84.07%)	⬆️
crates/mun_hir/src/ty/infer/coerce.rs	94.11% <100.00%> (+0.78%)	⬆️
crates/mun_hir/src/ty/infer/unify.rs	100.00% <100.00%> (ø)
crates/mun_hir/src/ty/tests.rs	96.29% <100.00%> (+0.04%)	⬆️
crates/mun_hir/src/utils.rs	100.00% <100.00%> (ø)
... and 8 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 8ab15c9...286c662. Read the comment docs.