[docs] Provide a section about type inference

[lukapeschke]

It'd be great to have a section explaining a bit how type inference works in the docs. Specifically:

• How dtypes are inferred
• Which type combinations get coerced to what
• How specifying dtypes explicitly influences that