Merge pull request #201 from vandenoever/typechecking

Update Closure compiler and more typechecking.
Fix more types in runtime.js.
There are still a number of tough type situations involving eval left over.