Add a bunch of type annotations
Merge pull request #52 from Obvious/nick-compiler

Add a bunch of type annotations