Migrate type annotations to more JS files.
Add support for type annotations. Remaining bugs include `String` is not de-aliased and uses of the cons operator have not yet been switched over to the new (::) syntax.
Switch to the new cons (::) in parse library.
Make type annotations work properly. Refactor such that they speed up type checking dramatically.
Add type annotations to the Dict library to test functionality and speed of type annotations. Shows dramatic speed improvement!