This can be done if we compute all scope assignments in Lower.

This is the key to a lot of type analysis that is done in post passes or in CodeGenerator, and should really be done in one place.

This is also makes method specialization / lazy jitting significantly less messy to implement.