10. Working with Types. Type Inference & Explicit Type Annotations