Make all names and fullnames in mypy properties

[msullivan]

^

[msullivan]

Oh ugh this would be a big plugin compatability break wouldn't it

[JukkaL]

Yeah, but on the other hand it would be good to do this before 1.0 release since the current situation is bad. I'd rather not be stuck with the current state forever.

[ilevkivskyi]

I agree with Jukka here.

[emmatyping]

I think this is probably a good idea. If we choose to move ahead with this, we should probably announce our intentions here ASAP #6617

[msullivan]

OK I'll do it after 0.740