Does typing have to be extensive or does the majority of it get inferred with perhaps just function and class boundaries needing annotations?

And if the latter, does the typing get inferred _after_ the initial ssa pass, so a name has a context-specific type?