Update type inference docs

[SupunS]

Work towards #61
⚠️ Depends on #1027

Description

Update the documentation with the latest type-inferring rules.

---

• Targeted PR against master branch
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work
• Code follows the standards mentioned here
• Updated relevant documentation
• Re-reviewed Files changed in the Github PR explorer
• Added appropriate labels

[codecov-commenter]

Codecov Report

Merging #1054 (32156ef) into master (482154c) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1054   +/-   ##
=======================================
  Coverage   75.53%   75.53%           
=======================================
  Files         270      270           
  Lines       33028    33028           
=======================================
  Hits        24948    24948           
  Misses       6956     6956           
  Partials     1124     1124           

Flag	Coverage Δ
unittests	75.53% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out 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 482154c...32156ef. Read the comment docs.

[joshuahannan]

Looks good to me!

[turbolent]

Nice!