Fix doc-utils.arr so documentation can be built.
Use Pyret's version in documentation, not Racket's.
FIXME: committing fabricated generated/sets.js.rkt as stop gap
Cleanup whitespace in desugar
Consistent format of docstrings in resolve-scope
Use annotation instead of manual check in desugar-toplevel-types
Made test for Option more correct (passed either way)
Raise an exception on already desugared s-let and s-var in desugar
Add some more annotations to resolve-scope
Add type checking to the pipeline
Add a-proven annotation variant.
Add a visitor for type checking which does nothing
Add Basic dataype for types
type-check doesn't use visitor pattern and errors out.

After some discussion with Ben, we have decided to not use the visitor
pattern in the type-checker. Additionally, the type checker will just
error out for now, indicating what part of the AST it has failed on.
Add s-check-expr and rename a-proven to a-checked.

The AST now has a variant s-check-expr which checks that some expression
has the type that we claim it does. Also, a-proven has been renamed to
be a-checked, which is more in line with what's happening.
Start implementing bidirectional type checker.

For now, the type checker will just simply return 'yes' or 'no'. Once
it is working, we can worry about filling in the AST and providing more
information about type errors.

When compiling any tests, make sure to use the '-library' flag at the
very end of the command, to avoid adding in extra things that are not
yet handled.
Handle key lookup failures; add default environment.

Identifiers are first checked for in the string dictionary, and then
they are either fetched or an exception is raised. Additionally, there
is now a default environment in which we can place things that are
always in scope.
Add support for lambdas and application.

Lambdas and application are now supported for synthesis and checking.
Additionally, tc-info now has an errors field for logging errors.
Add some tests for type checker (run by hand for now).

There are now some tests for the type checker that can be run by hand,
to see if compilation succeeds or fails. One of the bad ones passes for
the moment. This will no longer be a problem once we start recording
type errors.
Add methods to convert Types to strings and fetch location.