Python compiler?

[Luke]

To compile a language, you need to know types explicitly so memory 'boundaries'
are known.  When you can say x = 1; x = []; x = {} that poses a major problem.
There is no 1 type.

I think there is a tool called freeze (my memory is very sketchy) that will
make a self contained exe.

I know! Guido can add typing to the language!  It'll be great.
list x = []; dict y = {}

1 dog + 4 legs = octapus

Luke