Embed Notice

@mlinksva @mpweiher Various subsets of Python can compile to native.
There is one in particular that requires everything to have type annotations and has some other restrictions like no imperative code in the module top level.

All of the compiled language is valid Python, but not all Python is valid to this compiler. I'll find the name for it, I think it might have been Dropbox that are using it.