Add type annotations to all the generated code.

Currently the compiler pumps out a mountain of functions, but they have no types against them, which makes it hard to identify what they're used for in some cases. The compiler really should add type definitions against all those generated functions.