Added a few more tests of type checking and such.
Another typechecking test, and comment fixes.