Add a bunch of type annotations
Change the build instructions, no more global