Swift has type inference, so you rarely have to write types, yet your team convention says "annotate types on complex expressions and public APIs." How does type inference work that led to this rule?